This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lee masThis book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...
Lee mas